ACM SIGACT - PDFSEARCH.IO - Document Search Engine

ACM SIGACT
Results: 168

#	Item
111	CURRICULUM VITAE ANDREW M. ODLYZKO PERSONAL DATA Address: Add to Reading List Source URL: www.dtc.umn.edu Language: English - Date: 2009-02-23 08:29:21 Cryptography Algorithmic Number Theory Symposium Mathematical sciences Mathematics ACM SIGACT Theoretical computer science Formal sciences Science Computer science
112	CURRICULUM VITAE MARCELO ARENAS Associate Professor, Department of Computer Science ´ Pontificia Universidad Catolica de Chile Add to Reading List Source URL: web.ing.puc.cl Language: English - Date: 2014-07-07 15:13:31 Computer science Data Symposium on Principles of Database Systems SIGMOD Data exchange ACM SIGACT Ronald Fagin Database Database theory Database management systems Data management
113	Curriculum Vitae Jens Palsberg April 18, 2014 Add to Reading List Source URL: www.cs.ucla.edu Language: English - Date: 2014-04-18 19:31:30 Association for Computing Machinery Object-oriented programming Principles of Programming Languages ACM SIGACT SIGPLAN International Conference on Functional Programming William Cook Subtype polymorphism Programming Language Design and Implementation Computer science Computing Software engineering
114	2010 Volume 36, Number 4 ACM Transactions on Mathematical Software Add to Reading List Source URL: portalparts.acm.org Language: English - Date: 2009-08-28 13:55:41 ACM Transactions on Mathematical Software Science ACM Computing Classification System Email John R. Rice ACM SIGACT Computer science Computing Association for Computing Machinery
115	Call for Papers: STOC 2014 • Submission deadline: Monday, November 11, 2013, 4:00pm EST The 46th ACM Symposium on Theory of Computing (STOC 2014), sponsored by the ACM Special Interest Group on Algorithms and Computati Add to Reading List Source URL: www.sigact.org Language: English - Date: 2013-10-26 02:41:27 Symposium on Theory of Computing ACM SIGACT Mathematics Electronic submission Computational learning theory Theoretical computer science Applied mathematics Computer science
116	Mark Rogers Tuttle Intel Corporation 77 Reed Road Hudson, MA[removed]3305 [removed] Add to Reading List Source URL: www.markrtuttle.com Language: English - Date: 2012-11-20 16:45:09 Theoretical computer science Symposium on Principles of Distributed Computing Nancy Lynch International Symposium on Distributed Computing Association for Computing Machinery Dijkstra Prize ACM SIGACT Computer science Computing Symposium on Parallelism in Algorithms and Architectures
117	Contact: Virginia Gold[removed]removed] Add to Reading List Source URL: amturing.acm.org Language: English - Date: 2014-03-18 09:23:50 Dijkstra Prize Distributed computing Software engineers Turing Award Leslie Lamport Association for Computing Machinery Edsger W. Dijkstra Edmund M. Clarke ACM SIGACT Computing Computer science Turing Award laureates
118	Jeff Edmonds Curriculum Vitae April[removed]Personal Data: Add to Reading List Source URL: www.eecs.yorku.ca Language: English - Date: 2014-04-22 23:20:08 ACM SIGACT Symposium on Theory of Computing Symposium on Foundations of Computer Science Computational complexity theory Cut Algorithm Edmonds Computer science Theoretical computer science Applied mathematics Mathematics
119	October 31, 2007 CURRICULUM VITAE ALAN L. SELMAN Department of Computer Science and Engineering University at Buffalo 201 Bell Hall Add to Reading List Source URL: www.cse.buffalo.edu Language: English - Date: 2007-11-06 15:06:02 Computational complexity theory NP-complete ACM SIGACT Sparse language PH Polynomial hierarchy Computer science FL International Colloquium on Automata Languages and Programming Theoretical computer science Applied mathematics Complexity classes
120	Scott Aaronson Associate Professor Department of Electrical Engineering and Computer Science Massachusetts Institute of Technology Cambridge, MA USA[removed]Room 32-G638 Add to Reading List Source URL: scottaaronson.com Language: English - Date: 2014-04-08 17:36:59 Symposium on Theory of Computing PH ACM SIGACT Quantum complexity theory Symposium on Foundations of Computer Science Quantum Turing machine Quantum information science Ronald V. Book Computer science Theoretical computer science Applied mathematics Scott Aaronson

UPDATE